Formal methods in computer aided design - second international conference, FMCAD '98, Palo Alto, CA, USA, November 4-6, 1998 : proceedings
- Författare
- Phillip Windley Ganesh Gopalakrishnan CA) International Conference on Formal Methods in Computer-Aided Design 1998 : Palo Alto
- (Ganesh Gopalakrishnan, Phillip Windley, (eds.)., Includes bibliographical references and index)
- Genre
- Konferenser, Ej skönlitteratur, Konferenspublikation
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer | 1998 | Tyskland, New York | ix, 528 sidor. ill. |